Book:Theory Of Computation

#	Item
11	Book Review The Essential Turing Add to Reading List Source URL: www.ams.org Language: English - Date: 2006-10-06 14:59:11 Theory of computation Mathematics Alan Turing Turing machine Hypercomputation Turing test Church–Turing thesis Jack Copeland Entscheidungsproblem Computability theory Theoretical computer science Computer science
12	I944Î BOOK REVIEWS Add to Reading List Source URL: www.ams.org Language: English - Date: 2010-01-14 11:40:41 Lambda calculus Theory of computation Computability theory Logic in computer science Mathematical logic Combinatory logic Function Well-formed formula Gödel numbering Mathematics Theoretical computer science Logic